rcv-from-on(dE;dL;info;e;l;r) == rcv?(r)  eqof(dE)(e,sender(r))  eqof(dL)(l,link(r)) 

latex

---

clarification:

rcv-from-on(dE;dL;info;e;l;r)
== rcv?(info;r)  eqof(dE)(e,sender(info;r))  eqof(dL)(l,link(info;r)) 

latex

Definitions	rcv?(e), p  q, sender(e), f(a), eqof(d), link(e)
FDL editor aliases	rcv-from-on